EN FR
EN FR




Section: Partnerships and Cooperations

International Initiatives

INRIA Associate Teams

INTOHYLO

  • Title: Inference Tools for Hybrid Logics and Applications for Natural Language Processing

  • INRIA principal investigator: Carlos Areces

  • International Partner:

    • Institution: Universidad de Buenos Aires (Argentina)

    • Laboratory: Universidad de Buenos Aires, GLyC

  • Duration: 2009 - 2011

  • See also: http://led.loria.fr/dokuwiki/doku.php?id=intohylo_-_inria_equipes_associees

  • The main aim of the InToHyLo project is to investigate inference methods for hybrid logics, to develop highly optimized inference tools based on these methods, and to use these tools in natural language applications. Talaris and GLyC are currently leaders in automated theorem proving for hybrid logics, and they are the developers of the two provers HyLoRes (based on resolution) and HTab (based on tableaux). With the InToHyLo project we want to investigate how to combine resolution and tableaux algorithms to allow our provers to collaborate and share partial results. We will integrate our tools in a platform suitable for inference in NLP applications (focusing on Dialogue Systems and Textual Entailment). This platform will include not only tools for satisfiability testing, but also for model building, model checking, bisimulation checking, and knowledge maintenance and retrieval. Finally, we want to develop parallel inference algorithms to improve performance, and distributed testing to speed up developing.

Visits of International Scientists

  • Kristina Striegnitz, Union College, Schenectady, NY, 1 week in January 2011

  • Eva Banik, Computational Linguistics Ltd, 1 week in May 2011

Participation In International Programs

GIVE challenge organisation

Talaris co-organized the 2.5 edition of the Generation of Instructions in Virtual Environment challenge. This challenge brought together six universities or laboratories working on natural language generation: University of Aberdeen, University of Bremen, University of Cordoba, University of Postdam, University of Twente, and the LORIA. The challenge was available online for players to test the different systems. Eight systems were participating to the campaign. Over two months, we collected 536 games, which is lower than last year. We assume that the summer break which coincided with the challenge played a role. Our participation in the organisation of the campaign involved rewriting the network layer, a complete change of the visibility algorithm, and advertising the challenge.